1. Formal Aspects of Component Software
پدیدآورنده : \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
2. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار مولفه‌ای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
3. Formal aspects of component software
پدیدآورنده : Luís Soares Barbosa, Markus Lumpe (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
I585
2010eb
4. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
5. Formal methods for components and objects
پدیدآورنده : / Frank S. de Boer ... [et al.] (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses,Component software--Congresses,Object-oriented programming (Computer science)--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F53
,
2005
6. Formal methods for components and objects
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : oriented programming (Computer science) ; Congresses. ; -Formal methods (Computer science) ; Congresses. ; Component software ; Congresses. ; Object
7. Formal methods for components and objects :
پدیدآورنده : Frank S. de Boer ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Component software, Congresses,Formal methods (Computer science), Congresses,Object-oriented programming (Computer science), Congresses
رده :
QA76
.
9
.
F67
F53
2002
8. Formal methods for components and objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures
پدیدآورنده : Frank S. de Boer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3188
9. Formal methods for components and objects : first International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
پدیدآورنده : Frank S. de Boer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2852
10. Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures
پدیدآورنده : Frank S. de Boer... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3657
